Computational network design from functional specifications
نویسندگان
چکیده
منابع مشابه
A computational framework for authoring and searching product design specifications
The development of Product Design Specifications (PDS) is an important part of the product development process. Incompleteness, ambiguity, or inconsistency in the PDS can lead to problems during the design process and may require unnecessary design iterations. This generally results in increased design time and cost. Currently, in many organizations, PDS are written using word processors. Since...
متن کاملFrom VDM specifications to functional prototypes
1 Abstract This paper describes, mostly in an informal way, a method for translating formal, model-based speciications, into functional prototypes. Such prototypes can be used to validate software system speciications in the very early stages of the design process. We show how to translate the executable subset of the VDM language into Lazy ML, establishing the translation schemes and requireme...
متن کاملStream Processing Hardware from Functional Language Specifications
We describe work-in-progress which aims at compiling suitably restricted functional programs with lazy lists directly into hardware. This extends previous work on SAFL which demonstrated that functional languages are effective at describing “fire-and-wait-for-result” programs, but for which stream-like I/O was awkward or impossible. Other frameworks (e.g. Lava) have used functional languages as...
متن کاملGenerating Design Pattern Detectors from Pattern Specifications
We present our approach to support program understanding by a tool that generates static and dynamic analysis algorithms from design pattern specifications to detect design patterns in legacy code. We therefore specify the static and dynamic aspects of patterns as predicates, and represent legacy code by predicates that encode its attributed abstract syntax trees. Given these representations, t...
متن کاملFrom customer needs to partners network specifications : ( Design - Manufacturing - Supply ) needs matrix
New Product Design (NPD) projects go sequentially through various phases of a new product design project: customer needs clarification, product specifications, design process, partners selection. Such sequencing ignores possible impacts of partners on the way that the product will be designed and realised. This paper explores early consideration of partners network for building up relevant part...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Graphics
سال: 2016
ISSN: 0730-0301,1557-7368
DOI: 10.1145/2897824.2925935